cd56ca567d484c92dedbef4ec12bd07fc97f6681,workbench/source/jetbrains/mps/plugins/PluginReloader.java,PluginReloader,disposeComponent,#,105
Before Change
public void disposeComponent() {
myClassLoaderManager.removeReloadHandler(myReloadListener);
myMakeService.removeListener(myMakeListener);
}
private class MyReloadAdapter extends ReloadAdapter {
After Change
public void disposeComponent() {
myClassLoaderManager.removeReloadHandler(myReloadListener);
if (myMakeService != null) {
myMakeService.removeListener(myMakeListener);
this.myMakeService = null;
}
}